- purely quantified
- логикачисто кванторный (о предикате)
English-Russian scientific dictionary. 2008.
purely quantified
Смотреть что такое "purely quantified" в других словарях:
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Cause — • Cause, as the correlative of effect, is understood as being that which in any way gives existence to, or contributes towards the existence of, any thing; which produces a result; to which the origin of any thing is to be ascribed Catholic… … Catholic encyclopedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Marginal utility — In economics, the marginal utility of a good or service is the utility gained (or lost) from an increase (or decrease) in the consumption of that good or service. Economists sometimes speak of a law of diminishing marginal utility, meaning that… … Wikipedia
evolution — evolutional, adj. evolutionally, adv. /ev euh looh sheuhn/ or, esp. Brit., /ee veuh /, n. 1. any process of formation or growth; development: the evolution of a language; the evolution of the airplane. 2. a product of such development; something… … Universalium
Marginalism — Economics … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Academic grading in North America — The following is a summary of the academic grading systems in North America. Canada In the Canadian province of Ontario, another system is placed that replaces the A–F system. This system was instituted by the provincial government in around 2001 … Wikipedia
Marketing plan — A marketing plan may be part of an overall business plan. Solid marketing strategy is the foundation of a well written marketing plan. While a marketing plan contains a list of actions, a marketing plan without a sound strategic foundation is of… … Wikipedia
Scott–Potter set theory — An approach to the foundations of mathematics that is of relatively recent origin, Scott–Potter set theory is a collection of nested axiomatic set theories set out by the philosopher Michael Potter, building on earlier work by the mathematician… … Wikipedia
